home *** CD-ROM | disk | FTP | other *** search
/ Internet Surfer 2.0 / Internet Surfer 2.0 (Wayzata Technology) (1996).iso / pc / text / mac / faqs.443 < prev    next >
Text File  |  1996-02-12  |  29KB  |  642 lines
  1. Frequently Asked Questions (FAQS);faqs.443
  2.  
  3.  
  4.  
  5.    HyperProlog. See Delphia Prolog.
  6.  
  7.    IBM PROLOG for AIX/6000 (PFA) is a high performance implementation of
  8.    the PROLOG language, combined with a powerful programming environment,
  9.    especially designed for the IBM RISC System/6000 under AIX. PFA was
  10.    developed by BIM as an adaptation of ProLog by BIM for the IBM RISC
  11.    System/6000 under AIX. It was selected by IBM Europe as their
  12.    official PROLOG implementation for the RISC System/6000 (Program
  13.    Number 5776-FAH). For more information: In North-America contact BIM
  14.    systems, 11111 Santa Monica Bld, call 310-445-1500, fax to
  15.    +310-445-1515; in Europe contact your local IBM representative.
  16.    Elsewhere contact BIM, Kwikstraat 4, B-3078 Everberg, Belgium, call
  17.    +32 2 759 59 25, or fax +32 2 759 92 09, or email prolog@sunbim.be.
  18.  
  19.    IF/Prolog is a Prolog interpreter and compiler with X-window and
  20.    OSF/Motif development environment, bidirectional C interface, on-line
  21.    hypertext manual, and X-window, OSF/Motif interfaces and various SQl
  22.    interfaces.  It runs on Apollo, Aviion 300, Macintosh (A/UX), microVAX
  23.    2000 (Ultrix), Vax (Ultrix, VMS), VaxStation (Ultrix), DEC Alpha
  24.    (OSF/1, VMS), HP9000, Sun3, Sun4, Sparc, UTS, AIX/370, IBM RS/6000,
  25.    Decstation (Ultrix, OSF/1), Sequent S16, Silicon Graphics, Sony News
  26.    (Unix), Motorola, Nixdorf, Interactive Unix, SCO UNIX, DOS-based 386
  27.    PCs, and Windows 3.0/3.1.  For more information, write to American
  28.    InterFace Computer, Inc., One Westlake Plaza, 1705 Capital of Texas
  29.    Highway South, Suite 200, Austin, TX 78746, call 512-327-5344, or fax
  30.    512-327-5176, or e-mail ifc@cactus.org.  European Customers may write
  31.    to InterFace Computer GmbH, Garmischer Strasse 4, D-8000 Muenchen 2,
  32.    Germany, call +49 89 5108655, fax +49 89 5108628, or email
  33.    vp@IFComputer.de. Reviewed in AI Expert January 1991.
  34.  
  35.    IQSOFT MProlog is a high-level emulator with interpreter for Unix,
  36.    Macintosh and IBM PC. Runs on Vax (Unix 4.2 BSD), 68000-based machines
  37.    (Unix), Tektronix 4404, HP3000, and Siemens 1.  For more information,
  38.    write to IQSOFT, SZKI Intelligent Software Ltd., Iskola u. 10.,
  39.    Budapest, H-1011, Hungary, call +36 1 201 6764, fax +36 1 201 7125, or
  40.    send email to szeredi@iqsoft.hu.
  41.  
  42.    LPA Prolog is a prolog compiler for IBM PCs (DOS, Windows) and Apple
  43.    Macintosh.  LPA Prolog ++ is an object-oriented programming system
  44.    based on Prolog.  Write to Logic Programming Associates, Ltd., Studio
  45.    4 Royal Victoria Patriotic Building, Trinity Road, London SW18 3SX,
  46.    England, call +44 081-871-2016, fax +44 081-874-0449, or email
  47.    lpa@cix.compulink.co.uk or UK0049@applelink.apple.com (Clive Spenser).
  48.    LPA products are distributed in North America by Quintus under the
  49.    Quintus name.
  50.  
  51.    MU-Prolog, NU-Prolog are prolog interpreters from the University of
  52.    Melbourne. Source licences are available for educational institutions.
  53.    Implemented in C for BSD Unix. Currently running on Sun3, Sun4, Vax,
  54.    Elxsi, Encore, and SGI. For more information, write to University of
  55.    Melbourne, MU-Prolog Distribution, Department of Computer Science,
  56.    Parkville, Victoria 3052, Australia, call +61 3 344 7270, or send email to
  57.    jas@cs.mu.oz.au and jws@cs.mu.oz.au.
  58.  
  59.    OU Prolog is a prolog interpreter from Open University for IBM PC
  60.    (MS-DOS). Includes video, books. Ask for item PD622 and quote
  61.    reference SA69. For more information, write to Open University,
  62.    Learning Materials Sales Office, PO Box 188, Milton Keynes MK7 6DH, UK.
  63.  
  64.    PDC Prolog runs on IBM PCs (DOS, OS/2, Windows and SCO Unix). Formerly
  65.    known as Turbo Prolog from Borland. Includes a native code compiler
  66.    but is incompatible with most other prologs. Its variables are
  67.    strongly typed, unlike most other prologs. For more information, write
  68.    Prolog Development Center, 568 14th Street, Atlanta, GA 30318, call
  69.    800-762-2710, (404-873-1366), fax 404-872-5243 or email
  70.    pdc-request@pdc.dk (general information), sales@pdc.dk (sales),
  71.    support@pdc.dk (tech support). A BBS is run at 404-872-5358.  European
  72.    customers may write to Prolog Development Center, A/S, Hj Holst Vej
  73.    5A, DK-2605 Broendby, Denmark, call +45 36 72 10 22, or fax +45 36 72
  74.    02 69. Reviewed in AI Expert January 1991.
  75.  
  76.    POPLOG is a high-level prolog emulator with interpreter.  The POPLOG
  77.    environment integrates four AI programming languages in one
  78.    environment: Lisp, Prolog, ML and POP11. POPLOG can also load in C and
  79.    Fortran binaries.  Runs on VAX (Ultrix, VMS), VAXStation (Ultrix),
  80.    DECStation (Ultrix), Sun 3,4, Sparc, Solbourne, HP Apollo 9000/400,
  81.    Sparc (HP-UX), MIPS (RISCOS), Sequent Symmetry (Dynix), Apple
  82.    Macintosh (AUX), SONY News (News-OS), and Silicon Graphics Iris
  83.    (Irix). The academic version from Sussex University. For more
  84.    information, write to POPLOG, Sussex University, Poplog Manager,
  85.    School of Cognitive Sciences, Falmer, Brighton BN1 9QN, UK, call +44
  86.    273 608367, fax +44 273 678188, or send email to
  87.    popmanager@cogs.sussex.ac.uk. The commercial version is available
  88.    from Integral Solutions Ltd as Integral Poplog and Pop++. For more
  89.    information, write to Integral Solutions Ltd, Unit 3, 23 Campbell
  90.    Court, Bramley, Basingstoke Hampshire RG26 5EG, UK, call +44 256 88 20
  91.    28, fax +44 256 88 21 82, or send email to isl@integ.uucp or
  92.    isl@integ.co.uk.  The North American retailer is Computable
  93.    Functions Inc. For more informatin, write to Computable Functions Inc.,
  94.    35 S.  Orchard Drive, Amherst, MA 01002, call 413-545-3140, or fax
  95.    413-545-3140. Contact Robin Popplestone, pop@cs.umass.edu, for info
  96.    on a new book on Pop-11.
  97.  
  98.    Prolog III integrates constraint programming with Prolog. It runs on
  99.    Apple Macintosh, IBM PC (386, MS-DOS), Next, Sun3, Sun4, Sparc, HP9000,
  100.    Apollo, RS/6000, Bull DPX, Masscomp (Unix), Vax (Ultrix, VMS),
  101.    DecStation and MicroVAX. For more information, write to PrologIA,
  102.    Parc Technologique de Luminy, Case 919, 13288 Marseilles, France,
  103.    call 33-91-26-86-36 or fax 33-91-41-96-37. The US point of contact
  104.    for Prolog III by PrologIA is BIM Systems, Inc..
  105.  
  106.    Prolog-86 is available from Solution Systems Inc. For more
  107.    information, write to Solution Systems Inc., 335-D Washington Street,
  108.    Norwell, MA 02061, call 617-337-6963, or fax 617-431-8419.
  109.  
  110.    Quintec Prolog is a high-level emulator with interpreter for IBM PC
  111.    (MS-DOS), Vax, VAXstation (Ultrix, VMS), Decstation (Ultrix), and
  112.    Sparc (SunOS4.0).  For more information, write to Quintec Prolog,
  113.    Quintec Systems Ltd., Midland House, West Way, Botley, Oxford OS2 0PL,
  114.    UK, call +44 865 791565, or fax +44 865 791595.
  115.  
  116.    Quintus Prolog is a low level emulator that runs on Unix (Sparc, sun2,
  117.    sun3, sun4, 386i, VAX (Ultrix, VMS), uVAX (Ultrix), HP9000, Apollo,
  118.    DecStation, IBM RT, Sequent S/27, S/81, IBM PS/2 (AIX), Intel 80386
  119.    (Unix V.3), Intergraph, Solbourne, RS/6000, and MIPS), IBM PC (DOS,
  120.    Windows), and Macintosh.  Includes a cross-referencing facility. For
  121.    more information, contact Quintus Corporation, 2100 Geng Road, Palo
  122.    Alto, CA 94303, call 1-800-542-1283 (415-813-3800), fax 415-494-7608,
  123.    or email sales@quintus.com (sales), teksup@quintus.com (tech support).
  124.    To be added to the users group mailing list, send mail to
  125.    quintus-users-request@quintus.com.  Version 3.0 reviewed in AI Expert
  126.    January 1991 and February 1991 and IEEE Expert April 1991.  LPA
  127.    products are distributed in North America by Quintus under the Quintus name.
  128.  
  129.    SICStus Prolog is a Unix prolog by SICS. It is portable to most UNIX
  130.    machines (Berkeley UNIX is preferred over System V).  SICS Aurora and
  131.    Echo is a parallel emulator for Sequent Balance, Sequent Symmetry,
  132.    Encore Multimax, and BBN Butterfly (Unix). For more information, write
  133.    to SICS, Swedish Institute of Computer Science, P.O. Box 1263, S-164
  134.    28 KISTA, Sweden, call +46 8 752 15 02, fax +46 8 751 72 30, or send
  135.    email to sicstus_request@sics.se. Bug reports and tech support questions
  136.    should be sent to sicstus-bug@sics.se. To subscribe to the users group
  137.    and implementors mailing list, send email to sicstus-users-request@sics.se.
  138.  
  139.    SNI Prolog Version 3 is an implementation of the Prolog language that
  140.    is compatible with the ISO Standard draft. It is available from
  141.    Siemens Nixdorf for Unix workstations for about DM 11100 in Germany.
  142.    SNI Prolog runs on the SGI, SNI and Sun platforms, and ports to other
  143.    systems, including MS-DOS, are in progress.  Includes coroutines,
  144.    finite domains, numerical and boolean constraints, garbage collection,
  145.    incremental compilation, dynamic linking, hypertext style on-line
  146.    help, a window environment with an integrated editor, interfaces to
  147.    INFORMIX, Motif/XWindows and C. The constraint programming features of
  148.    SNI Prolog provide support for solving problems from operations
  149.    research such as dynamic resource allocation and flexible scheduling
  150.    with numerical constraints or the verification of complex systems with
  151.    Boolean constraints. For more information, write to Siemens Nixdorf
  152.    Informationssysteme AG, Otto-Hahn-Ring 6, D-8000 Munich 83, Germany,
  153.    Attn: Hans-Juergen Stenger, Systems Planning, call +49 89 636 44049,
  154.    fax +49 89 636 41208, or send email to stenger@sd235-hera.zfe.siemens.de.
  155.  
  156.    SPIES YAP is a high-level emulator with interpreter for Sun3, Sun4,
  157.    VAXstation, SGI, HP9000, Apple Macintosh and Amiga (Atari ST). For
  158.    more information, write to SPIES, Sociedade Portuguesa de, Importacao
  159.    e Exportacao de Software, Lda Av da Republica, 46 - 2, 1000 Lisboa,
  160.    Portugal, call +351 1 795075, or fax +351 1 775891.
  161.  
  162.    Turbo Prolog. See PDC Prolog.
  163.  
  164. Parallel Prologs:
  165.  
  166.    Densitron CS Prolog is a parallel prolog compiler and interpreter for
  167.    IBM PCs (MS-DOS or OS/2), T414/T800 transputer (mono or multi), 386
  168.    (Unix V), uVAX (VMS), or VAX(VMS). Also standard Prolog for MS-DOS,
  169.    UNIX and VAX.  For more information, write to Densitron, Unit 4,
  170.    Aiport Trading Estate, Biggin Hill, Kent, TN16 3BW, UK, call +44 959
  171.    76331, or fax +44 959 71017.
  172.  
  173.    Paralogic is a parallel implementation of the Clocksin and Mellish
  174.    Prolog. It runs on DOS-based PCs or Apple Macintoshes with the INMOS
  175.    Transputers. For more information, write to Paralogic Inc., 115
  176.    Research Drive, Bethlehem, PA 18015, call 215-861-6960, fax
  177.    215-861-8247 or email plogic@lehi3b15.csee.Lehigh.edu. It is also
  178.    distributed by Computer Systems Architects, 905 N. University Avenue,
  179.    Provo, UT 84604-3422, 800-753-4272 (801-374-2300), fax 801-374-2306.
  180.    British customers may contact Parallel Logic Programming Ltd., PO Box
  181.    49, Twickenham, Middlesex TW2 5PH, UK or call +44 454 201 652.
  182.  
  183.    PARLOG is a parallel emulator from Imperial College for the Sequent
  184.    Balance, Sequent Symmetry, Encore Multimax, Alliant FX (Unix), Sun
  185.    (Unix, 1 processor). For more information, write to Imperial College,
  186.    Department of Computing, Parlog Distribution Secretary, 180 Queen's
  187.    Gate, London SW7 2BZ, UK, call +44 71 589 5111 x7537, fax +44 71 589
  188.    8024, or send email to parlog@doc.ic.ac.uk. Imperial College also
  189.    used to produce IC Prolog.
  190.  
  191.    Strand-88 is a parallel emulator for Sun3, Sun4, Sparc BBN Butterfly,
  192.    GPT2000, Cogent Multimax, Intel iPSC/2, iPSC/860, MIPS RiscStation,
  193.    Sequent Symmetry Balance (Unix System V or Mach, Helios) and
  194.    communication component from CSTools, Express in some cases.  Also
  195.    Transputer systems PC hosted systems from Paracom, Telmat and others,
  196.    Unix hosted systems from Meiko, Paracom, Telmat and others, Apple
  197.    Macintosh, Atari ATW, and NeXT. Price dependent on configuration and
  198.    scale of target machine. For more information, write to Strand
  199.    Software Technologies Ltd., Ver House, London Rd, Markyate, Herts AL3
  200.    8JP, UK, call +44 582 842424, fax +44 582 840282, or send email to
  201.    strand88@sstl.uucp.
  202.  
  203.    SICS Aurora and Echo. See SICStus Prolog above.
  204.  
  205. Object Oriented Systems:
  206.  
  207.    LAP is an object-oriented system by Elsa. For more information, write
  208.    to Elsa Software, La Grange Dame Rose, 6 ave du Marechal Juin, 92366
  209.    Meudon-La-Foret Cedex, France, call +33 (1) 46 30 24 55, fax +33 (1)
  210.    46 30 55 26, or send email to elsa!lap@uunet.uu.net.
  211.  
  212.    SPIRAL is an object oriented system by CRIL for Sun3 and Sun4 under
  213.    Unix. For more information, write to CRIL, Conception et Realisation,
  214.    Industriel de Logiciel, 146 bd de Valmy 92707, Colombes Cedex, France,
  215.    call +33 1 47 69 53 67, or fax +33 1 47 69 53 99.
  216.  
  217. Constraint Systems:
  218.  
  219.    CLP(R) is a constraint system from Monash University for VAX, Sun, and
  220.    Pyramid (Unix). Costs $150. For more information, write to Monash
  221.    University, CLP(R) Distribution, Department of Computer Science,
  222.    Clayton, Victoria 3168, Australia, or send email to
  223.    clp@moncsbruce.oz.au.
  224.  
  225.    Trilogy is a constraint system developed by Complete Logic Systems. It
  226.    costs $100. For more information, write to Complete Logic Systems, Inc,
  227.    741 Blueridge Avenue, V7R 2J5, North Vancouver BC, Canada, or call
  228.    604-986-3234.
  229.  
  230.    VS Trilogy is a Prolog compiler available from Vertical Software for
  231.    $395.  For more information, write to Vertical Software Ltd., 14-636
  232.    Clyde Ave, W. Vancouver, BC, V7T 1E1, Canada, call 604-925-0321, or fax
  233.    604-688-8479.
  234.  
  235. ----------------------------------------------------------------
  236. Subject: [4]  FTP Archives and Other Resources
  237.  
  238. The following are achives that contain Prolog-related material, such as
  239. code, interpreters, articles, etc. Most of the archives are ftp sites.
  240. They are listed by domain.name and [IP Address]. To access them and
  241. download programs type at the prompt:
  242.  
  243.     ftp <site name> (or IP address)
  244.     login: "anonymous",
  245.     password: your own return email address,
  246.     cd <directory>, ls to see files,
  247.     set binary,
  248.     get <filename> to transfer file to your system
  249.     stop with quit or exit
  250.  
  251. Deviations from this general scheme may occur but the above should
  252. work in most cases.
  253.  
  254.  
  255.    Artificial Intelligence Programs:
  256.       aisun1.ai.uga.edu [128.192.12.9]
  257.  
  258.       Contains public domain Prologs, such as Open Prolog and ESL PD Prolog,
  259.       all programs from the book by Covington, Nute, and Vellino, (see
  260.       the section on Books below) and some technical reports with
  261.       accompanying code.  Maintained by Michael Covington, the University
  262.       of Georgia, mcovingt@aisun1.ai.uga.edu.
  263.  
  264.  
  265.    ALP-UK Library:
  266.  
  267.       The best Prolog library currently is the one collected by the ALP-UK
  268.       group. It is available to members at 30 pounds sterling for a Sun
  269.       cartridge or 2 pounds/IBM DOS disk. (non-members maybe, how much?) It
  270.       contains MBs of Prolog systems (including SB Prolog), libraries
  271.       (including the Edinburgh library), benchmarks, grammars, theorem provers,
  272.       object and graphics systems etc.  For more information, write to ALP-UK
  273.       Library, Sanjay Raina, Librarian, Dept. of Computer Science, University
  274.       of Bristol, University Walk, Bristol BS8 1TR, UK, call +44 0272 303030
  275.       x3304, or send email to raina@compsci.bristol.ac.uk.
  276.  
  277.  
  278.    Logic Programming Bibliographies:
  279.       duck.dfki.uni-sb.de [134.96.188.92]
  280.  
  281.       The BiBTeX bibliographies are available in /pub/lp-proceedings.
  282.  
  283.  
  284.    Prolog Repository:
  285.  
  286.       Established by Jocelyn Paine of Experimental Psychology, Oxford
  287.       University in 1987. The current catalogue (January 1991) contains
  288.       30 entries. For catalogue, queries and contributions contact POPX at:
  289.          popx%vax.ox.ac.uk@oxmail.ox.ac.uk (internet) or
  290.          popx@uk.ac.ox.vax (janet)
  291.  
  292.       FTP access is available through the Imperial College archive at
  293.          src.doc.ic.ac.uk  (146.169.2.1)
  294.       in the directory
  295.          computing/programming/languages/prolog/pd-software
  296.       with a short-cut link of:
  297.          packages/prolog-pd-software
  298.       To access it, cd to either of the above directories via
  299.       anonymous ftp. The file README gives a brief summary of the
  300.       contents of the directory and CATALOGUE gives a (long!)
  301.       description of each entry. Entries include the Logic Programming
  302.       Tutor from Paine's book, the DEC-10 public-domain library, the
  303.       Linger natural-language corrector, a simple object-oriented
  304.       add-on for Prolog, graph utilities, among other things.
  305.  
  306.       Files in the archive are also available on MS-DOS floppies for a
  307.       nominal fee to cover the cost of floppies, postage, and packing.
  308.  
  309.    Machine Learning Algorithms Implemented in Prolog:
  310.  
  311.       In 1988 the Special Interest Group on Machine Learning of the German
  312.       Society for Computer Science (GI e.V) decided to establish a library
  313.       of PROLOG implementations of Machine Learning algorithms. The library
  314.       includes PROLOG implementations of Winston's arch, Becker's AQ-PROLOG,
  315.       Fisher's COBWEB, Brazdil's generation of discriminations from derivation
  316.       trees, Quinlan's ID3, inverse resolution, and Mitchell's version
  317.       spaces algorithm. The programs are available via the anonymous
  318.       ftp-server at the University of Osnabrueck:
  319.          dione.rz.uni-osnabrueck.de:pub/unix/mlp  (131.173.128.15)
  320.  
  321.       Send additional PROLOG implementations of Machine Learning Algorithms
  322.       to Thomas Hoppe, <hoppet@cs.tu-berlin.de>. Send suggestions and
  323.       complaints about the ftp library to Werner Emde, University of
  324.       Osnabrueck, <emde@gmdzi.gmd.de>.
  325.  
  326.  
  327.    Prolog to SQL Compiler:
  328.  
  329.       The Prolog to SQL Compiler translates database access requests,
  330.       which consist of a projection term and a database goal, to the
  331.       appropriate SQL query. The compiler is written in standard Edinburgh
  332.       Prolog and has been ported to a number of Prologs. The code posted to
  333.       comp.lang.prolog works in ECRC's SEPIA Prolog, but should be easily
  334.       ported to other Prologs. A detailed tech report on the implementation
  335.       is available by email from draxler@sun1.cis.uni-muenchen.de (include
  336.       your full postal address).  The compiler is copyright, but may be used
  337.       free of charge for non-commercial purposes and redistributed provided
  338.       the copyright notice is retained intact.
  339.  
  340.    PSI:
  341.  
  342.       PSI is a handy system for the management and retrieval of your
  343.       personal data, be it addresses, CD collections, or bibliographic
  344.       references. It is intended for the non-commercial user. It may not be
  345.       as full-fledged as some data-base systems, but has some features that
  346.       you won't find in most commercial systems. Also, you may find it
  347.       easier to set up and faster to use. PSI is useful for a broad range of
  348.       data. Indexing with descriptors makes searching for the data you need
  349.       fast, and the interface to other data-base formats (import and export)
  350.       is quite powerful.  PSI was written in LPA MacProlog and is a "genuine
  351.       'double clickable' Mac application". PSI runs on all Macs with System
  352.       6 or 7 in 1MB of main memory. As LPA MacProlog isn't yet 32-bit clean,
  353.       PSI isn't either. Extensive documentation and some examples are
  354.       included.  PSI is available by anonymous ftp from
  355.       sumex-aim.stanford.edu, directory info-mac/app, file psi-23.hqx. It
  356.       was also available on a recent Nautilus CD-ROM and will be on the
  357.       first Info-Mac CD-ROM.
  358.  
  359.    XWIP:
  360.       export.lcs.mit.edu:/contrib/xwip.tar.Z
  361.       ftp.uu.net:X/contrib/xwip.tar.Z
  362.  
  363.       XWIP is an X Windows interface for PROLOG.
  364.  
  365. ----------------------------------------------------------------
  366. Subject: [5]  Mailing Lists
  367.  
  368.    Prolog and Logic Programming:
  369.       prolog@sushi.stanford.edu (general)
  370.       prolog-hackers@sushi.stanford.edu (nitty gritty)
  371.  
  372.       All requests to be added to or deleted from this list, problems,
  373.       questions, etc., should be sent to prolog-request@sushi.stanford.edu
  374.  
  375.    Concurrent Logic Programming:
  376.       clp.x@xerox.com
  377.  
  378.       All requests to be added to or deleted from this list, problems,
  379.       questions, etc., should be sent to clp-request.x@xerox.com or to
  380.       Jacob Levy <jlevy.pa@xerox.com>.
  381.  
  382. ----------------------------------------------------------------
  383. Subject: [6] Books and Magazine Articles
  384.  
  385. A BiBTeX bibliography of Logic Programming Conferences is available by
  386. anonymous ftp from duck.dfki.uni-sb.de. See [4] above.
  387.  
  388. The following books are regarded as popular and widely used.  Also
  389. included are some books about WAM. This is not intended to be a complete
  390. Prolog bibliography.
  391.  
  392.    Hassan Ait-Kaci. Warren's Abstract Machine: A Tutorial Reconstruction.
  393.    MIT Press, Cambridge, MA.  1991.
  394.    ISBN: 0-262-51058-8 (paper), 0-262-01123-9 (cloth).
  395.  
  396.    Bratko, Ivan, "Programming in Prolog for Artificial Intelligence",
  397.    2nd Ed, Addison-Wesley, 1990
  398.  
  399.    Campbell, J.A. (ed):  "Implementations of Prolog", John Wiley, 1984
  400.  
  401.    Clocksin, W.F. and Mellish, C.S: "Programming in Prolog", 3rd Ed.
  402.    Springer Verlag, 1987. (Basic Introduction).
  403.  
  404.    Conlon, Tom: "Programming in Parlog". Addison-Wesley, 1989,
  405.    ISBN 0-201-17450-2.
  406.  
  407.    Covington, M.A.; Nute, D.; and Vellino, A.  "Prolog Programming in Depth",
  408.    Scott, Foresman & Co. ISBN: 0-521-40984-5
  409.  
  410.    Yves Deville: "Logic Programming, Systematic Program Development",
  411.    International Series in Logic Programming, Addison-Wesley, 1990, 338 pages.
  412.    ISBN 0-201-17576-2.
  413.  
  414.    Gregory, Steve: "Parallel Logic Programming in Parlog: The Language
  415.    and Its Implementation", Addison-Wesley, 1987, ISBN 0-201-19241-1.
  416.  
  417.    Hogger, C.J.: "Introduction to Logic Programming", Academic Press 1984
  418.  
  419.    O'Keefe, Richard A.:  "The Craft of PROLOG", MIT Press, 1990,
  420.    ISBN 0-262-15039-5.
  421.  
  422.    Kluzniak and Szpakowicz: "Prolog for Programmers", Academic Press 1985
  423.  
  424.    Kowalski, R.A.: "Logic for Problem Solving", New York 1979, Elsevier Publ.
  425.  
  426.    LLoyd, John: "Foundations of Logic Programming", 2nd Edition,
  427.    Springer-Verlag, 1988. (Intro to logic programming theory.)
  428.  
  429.    D. Maier, D.S. Warren: "Computing with Logic", Benjamin Cummings, 1989
  430.  
  431.    Peter Ross, "Advanced Prolog: Techniques and Examples",
  432.    Addison-Wesley, 1989, ISBN 0-201-17527-4.
  433.  
  434.    Sterling, Leon (ed): "The Practice of Prolog", MIT Press, 1990
  435.    ISBN 0-262-19301-9
  436.  
  437.    Sterling, Leon, Shapiro, Ehud: "The Art of Prolog: Advanced Programming
  438.    Techniques", MIT Press, 1986 ISBN 0-262-19250-0
  439.  
  440.    David H. D. Warren: "An Abstract Prolog Instruction Set", Technical Note
  441.    No 309, SRI International, Menlo Park, CA, 1983.
  442.  
  443.    David H. D. Warren, "Logic Programming and Compiler Writing," in
  444.    Software-Practice and Experience 10(2), 1980.
  445.  
  446.    Tick, E.: "Parallel Logic Programming". MIT Press, 1991
  447.  
  448. Magazine Articles:
  449.  
  450.    BYTE Magazine, August 1987. 5 introductory articles on Prolog.
  451.  
  452.    Uwe Schreiweis: Beredte Logik, Konzepte der 'KI-Sprache" Prolog,
  453.    (Eloquent Logic, Concepts of the AI language Prolog), iX Magazine,
  454.    October 1992, pages 84-90.
  455.  
  456.    Uwe Schreiweis: Basis der Fuenf, Die Sprache Prolog in der Public
  457.    Domain, (Base of the Five, Prolog in the Public Domain), iX Magazine,
  458.    October 1992, pages 92-94.
  459.  
  460.    Uwe Schreiweis: Fuenfte Generation, Kommerzielle Prolog-Systeme,
  461.    (Fifth Generation, Commercial Prolog Systems), iX Magazine, October
  462.    1992, pages 96-102.
  463.  
  464.    Klaus Bothe: Weniger Raum, Speicherplatzbezogener Prolog-Benchmark,
  465.    (Less Space, A Space Oriented Prolog Benchmark), iX Magazine, October
  466.    1992, pages 106-7.
  467.  
  468. Magazines Related to Prolog:
  469.  
  470.    AI Communications (4 issues/yr)
  471.    "The European Journal on Artificial Intelligence"  ISSN 0921-7126,
  472.    European Coordinating Committee for Artificial Intelligence.
  473.  
  474.    AI Expert (issued monthly) ISSN 0888-3785, Miller Freeman Publishers
  475.    See a copy of the magazine for list of BBS's in NA. On CompuServe: GO
  476.    AIEXPERT. Regularly reviews Prolog interpreters and compilers.
  477.  
  478.    Expert Systems (issued Feb, May, Aug and Nov) ISSN 0266-4720,
  479.    Learned Information (Europe) Ltd. Subscription: GBP 85 or USD 110
  480.  
  481.    IEEE Expert (issued bimonthly) ISSN 0885-9000, IEEE Computer Society
  482.  
  483.    The Journal of Logic Programming (issued bimonthly), (North-Holland),
  484.    Elsevier Publishing Company, ISSN 0743-1066
  485.  
  486.    New Generation Computing, Springer-Verlag.  (LOTS of Prolog in it.)
  487.  
  488. ----------------------------------------------------------------
  489. Subject: [7]  The Prolog 1000 Database
  490.  
  491. The Prolog 1000 is a database of real Prolog applications being
  492. assembled in conjunction with the Association for Logic Programming
  493. (ALP) and PVG. The aim is to demonstrate how Prolog is being used in
  494. the real world and it already contains over 400 programs with well
  495. over 2 million lines of code. The database will be published in due
  496. course and available for research use. If you have or know about a
  497. program that might qualify for inclusion, send an email message to Al
  498. Roth (alroth@cix.compulink.co.uk) for an electronic entry form which
  499. only takes a few minutes to complete. Or write to Prolog 1000, PO Box
  500. 137, Blackpool, Lancashire, FY2 0XY, U.K., Fax: +44 253 53811
  501. Telephone: +44 253 58081. (Floppy disks for PC or Mac in text form are
  502. also welcome, and paper entries may also be sent).  Queries may also
  503. be addressed to: Chris Moss (cdsm@doc.ic.ac.uk), Leon Sterling
  504. (leon@alpha.ces.cwru.edu).
  505.  
  506. ----------------------------------------------------------------
  507.  
  508. ;;; *** Change Log:
  509. ;;; 13-SEP-92 mk    1.0  Updated and revised Dec 1991 version (0.6).
  510. ;;;
  511. ;;; 15-OCT-92 mk    1.1  Updated IF/Prolog entry.
  512. ;;;  5-NOV-92 mk         Info about PSI, Prolog 1000.
  513. ;;;  6-NOV-92 mk         Updated Prolog by BIM and IBM Prolog entries.
  514.  
  515. ;;; *EOF*
  516. Xref: bloom-picayune.mit.edu comp.lang.postscript:16097 news.answers:4302
  517. Newsgroups: comp.lang.postscript,news.answers
  518. Path: bloom-picayune.mit.edu!enterpoop.mit.edu!spool.mu.edu!uunet!brunix!brunix!jgm
  519. From: jgm@cs.brown.edu (Jonathan Monsarrat)
  520. Subject: PostScript monthly FAQ v2.01 11-30-92 [11 of 12]
  521. Supercedes: <1992Oct29.210913.26168@cs.brown.edu>
  522. Message-ID: <1992Dec1.055000.15466@cs.brown.edu>
  523. Followup-To: poster
  524. Summary: Useful facts about the PostScript graphics programming language
  525. Sender: news@cs.brown.edu
  526. Reply-To: jgm@cs.brown.edu (PostScript FAQ comments address)
  527. Organization: Brown University Department of Computer Science
  528. Date: Tue, 1 Dec 1992 05:50:00 GMT
  529. Approved: news-answers-request@MIT.Edu
  530. Expires: Thu, 31 Dec 1992 00:00:00 GMT
  531. Lines: 888
  532.  
  533. Archive-name: postscript-faq/part11
  534. Last-modified: 1992/11/30
  535. Version: 2.01
  536.  
  537.                               -- PostScript --
  538.  
  539.                             Answers to Questions
  540.  
  541.                    (the comp.lang.postscript FAQ v2.01)
  542.  
  543.                                Jon Monsarrat
  544.  
  545.                               jgm@cs.brown.edu
  546.  
  547.  
  548.  
  549.  
  550.  
  551.  
  552.                      This FAQ is formatted as a digest.
  553.  
  554.                 Most news readers can skip from one question
  555.  
  556.                      to the next by pressing control-G.
  557.  
  558.  
  559.     Changes since the last version are marked with a '|' in the table
  560.     of contents and in the sections in the text-only format of the FAQ.
  561.  
  562.     Please help fix the FAQ! All comments should be mailed to
  563.     jgm@cs.brown.edu. My favorite way to receive a change suggestion is
  564.     when it is accompanied by a section of the FAQ that is edited and
  565.     mailed to me verbatim as an example. If you would like to
  566.     contribute, please read the section ``about the FAQ'' first. Thank
  567.     you!
  568.  
  569.     Books and programs are referred to by name only. See the
  570.     appropriate sections for full information.
  571.  
  572. Subject: 11 About PostScript 2
  573.  
  574.  
  575. Subject: 11.1 What printers run PostScript 2?
  576.  
  577.  
  578.  
  579.     * Apple LaserWriter IIf
  580.  
  581.  
  582.     * Apple LaserWriter IIg
  583.  
  584.  
  585.     * Apple Personal LaserWriter NTR
  586.  
  587.       Apple sells an upgrade to the IINTX to turn it into a IIf/IIG for
  588.       instance.
  589.  
  590.  
  591.     * Compaq PAGEMARQ 20
  592.  
  593.  
  594.     * Compaq PAGEMARQ 15
  595.  
  596.  
  597.     * Data Products LZR 960
  598.  
  599.  
  600.     * Data Products LZR 1560
  601.  
  602.  
  603.     * Hewlett-Packhard PostScript CartridgePlus, which works with the
  604.       HP Laserjet III, IIID, and IIIP.
  605.  
  606.  
  607.     * NEC SilentWriter2, model 95
  608.  
  609.  
  610.     * Tektronix Phaser III PXi
  611.  
  612.  
  613.     * Tektronix Phaser II PXi
  614.  
  615.  
  616.     * Tektronix Phaser II PXe
  617.  
  618.  
  619.     * Tektronix Phaser IISD
  620.  
  621.  
  622.     * Texas Instruments microLaser Turbo
  623.  
  624.  
  625.     * Texas Instruments microLaser XL Turbo
  626.  
  627.     This rest of file contains a description of PostScript 2 written by
  628.     Carl Orthlieb from Adobe.
  629.  
  630.  
  631. Subject: 11.2 Introduction
  632.  
  633.     PostScript Level 2, the first major new release of PostScript
  634.     software since its introduction, is a unification and enhancement
  635.     of the PostScript language based on the needs voiced by users of
  636.     PostScript printers and Display PostScript(R) workstations,
  637.     Independent Software Vendors (ISVs), and Original Equipment
  638.     Manufacturers (OEMs). PostScript Level 2 contains a number of
  639.     performance enhancements, is easier for software developers to use,
  640.     and contains important new functionality such as device-independent
  641.     color, forms handling and patterns support.
  642.